The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...
Continue readingThe First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...
Continue reading